Normal default rules as epistemic actions

Epistemic Actions as Resources

We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommodate incomplete as well as wrong information e.g. due to secrecy and deceit, as well as nested knowledge. We give a purely algebraic treatment of the muddy children puzzle, which moreover extends to situations where the c...

Mathematical symbols as epistemic actions

Recent experimental evidence fromdevelopmental psychology and cognitive neuroscience indicates that humans are equippedwith unlearned elementarymathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the ex...

Emotions as pragmatic and epistemic actions

This paper explores the idea that emotions in social contexts and their intentionality may be conceived of as pragmatic or epistemic actions. That is, emotions are often aimed at achieving certain goals within a social context, so that they resemble pragmatic actions; and in other cases emotions can be plausibly construed as acts of probing the social environment so as to extract or uncover imp...

Temporalizing Epistemic Default Logic

Referential Actions as Logical Rules

Referential actions are specialized triggers used to automatically maintain referential integrity. While their local behavior can be grasped easily, it is far from clear what the combined eeect of a set of referential actions, i.e., their global semantics should be. For example, diierent execution orders may lead to ambiguities in determining the nal set of updates to be applied. To resolve the...